Introducing Planning in Discrete Event Systems

Precedent studies have revealed a strong relationship between discrete events formalisms and formalisms for temporal reasoning in Artiicial Intelligence. Both areas typically deal with temporal or dynamic domains, but under diierent points of view. Discrete events formalisms are intended for the analysis of the represented system, predicting its behavior by simulation. Artiicial Intelligence approaches pay special attention to the adequacy of the representation to be used, which usually allows solving also planning problems. This paper is a study on the introduction of planning techniques into the DEVS model, used for modeling of discrete event systems. To this aim, we have chosen a basic representation, the Generalized Magnitudes temporal reasoning formalism , which let us represent a complete DEVS model of a system and simultaneously provides interesting properties for planning. The paper identiies the basic steps that a planning algorithm should carry out providing also some examples. Finally, it poses possible problems that may appear and establishes the future research lines.